-- MAIN == 1
DEF MAIN:bool == or(true,true)
